First order predicate calculus
[计] 一阶谓词演算
🧩 词语组成解析
first
[fɝst]
n. 第一，最初;头等;一号，;[乐]高音部;
adv. 最早，最初;首次;宁愿;优先;
adj. 第一流的;最初的，最早的;基本的，概要的;高音的;
num. 第一;
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
predicate
['predikit]
vt. 断言，断定;宣布，宣讲;使基于;
vi. 断言，断定;
n. 谓语;述语;
adj. 谓语的;述语的;
calculus
['kælkjələs]
n. [医]结石，石，积石，牙垢;[数]运算，演算，微积分（学）;
ule,ulus 后缀;表”小,少”#词根助记：calc石头(古时候用石头来计算)##calc 石灰,石头#词根助记：calc石头(古时候用石头来计算)
🗣️ 情景例句
Who is it?
是谁呀？
When you're learning to drive, having a good teacher makes all the difference.
初学驾驶有好的教师指导，差别很大。
When reports came into London Zoo that a wild puma had been spotted forty-five miles south of London, they were not taken seriously.
当伦敦动物园接到报告说，在伦敦以南45英里处发现一只美洲狮时，这些报告并没有受到重视。